41. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: (طهران)
موضوع : History ، Logic
رده :
BC
15
.
H264
42. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
43. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
44. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
45. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
46. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Logic, History
رده :
BC
.
H36
15
2004
47. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : History ، Logic
رده :
BC
15
.
H36
2011
48. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
49. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
50. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
51. Mathematical problems from applied logic
پدیدآورنده : / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
,.
M346
,
2006
52. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
53. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
54. Practical reasoning
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Automatic theorem provingCongresses,Practical reasonCongresses,ReasoningCongresses,Artificial intelligenceCongresses
رده :
QA
,
76
.
9
,.
A96I575
55. Proof Theory for Fuzzy Logics
پدیدآورنده : \ by George Metcalfe, Nicola Olivetti, Dov Gabbay.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic.,Proof theory.,منطق فازی
رده :
E-Book
,
56. Proof theory for fuzzy logics
پدیدآورنده : / by George Metcalfe, Nicola Olivetti, Dov Gabbay
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Fuzzy logic.,Proof theory.
رده :
QA
,
9
.
64
,.
M48
,
2009
57. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
58. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: (طهران)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48P7
59. Semantical Investigations in Heyting's Intuitionistic Logic
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Semantics.
60. Temporal Logic :
پدیدآورنده : edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
